Analysis of the paraconsistency in some logics
نویسندگان
چکیده
In Artificial Intelligence, as well as in data base updating or in the design of intelligent agents, it is necessary the use of contradictory information. For that, it is useful to direct our attention to paraconsistent logics. The goal of the present survey is to offer an initial analysis on paraconsistency in some logics like Pac, RM3, Lukasiewicz, G ′ 3.
منابع مشابه
Paraconsistency properties in degree-preserving fuzzy logics
Paraconsistent logics are specially tailored to deal with inconsistency, while fuzzy logics primarily deal with graded truth and vagueness. Aiming to find logics that can handle inconsistency and graded truth at once, in this paper we explore the notion of paraconsistent fuzzy logic. We show that degree-preserving fuzzy logics have paraconsistency features and study them as logics of formal inc...
متن کاملOn Discourses Addressed by Infidel Logicians
We attempt to address here some alleged criticisms against the philosophical import of the so-called Brazilian approach to paraconsistency, especially by providing some demanded epistemic elucidations to the whole enterprise of the logics of formal inconsistency. In the way of elucidating, we substantiate the view that difficulties in reasoning under contradictions in both the Buddhist and the ...
متن کاملA machine-assisted view of paraconsistency
For a newcomer, paraconsistent logics can be difficult to grasp. Even experts in logic can find the concept of paraconsistency to be suspicious or misguided, if not actually wrong. The problem is that although they usually have much in common with more familiar logics (such as intuitionistic or classical logic), paraconsistent logics necessarily disagree in other parts of the logical terrain wh...
متن کاملMaximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics
Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain from classical logic as much as possible. In this paper we introduce the strongest possible notion of maximal paraconsistency , and investigate it in the context of logics that are based on deterministic or non-deterministic three-valued matrices. We ...
متن کاملExploring Paraconsistency in Degree-Preserving Fuzzy Logics
Paraconsistent logics are specially tailored to deal with inconsistency, while fuzzy logics primarily deal with graded truth and vagueness. In the last decade, mathematical fuzzy logic has been developed as a discipline studying formal many-valued systems arising from fuzzy set theory. In this paper we study to what extent different systems of fuzzy logic are paraconsistent, identifying which f...
متن کامل